Ghazzālī, 1058-1111; views on behaviorism ; religious aspects; Islam.

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

An understanding of the Chinese mind, and Chinese Art and Literature that are the expression of it, cannot be achieved without an examination of the fundamental elements that have gone to the building of Chinese mysticism.

The problem of the psychological unconscious has a history of many centuries. Some investigators seek to demonstrate the existence of the unconscious, and others deny it. Fundamental differences exist with respect to the nature of the psychological unconscious even among proponents of that hypothesis. In recent decades interest in the problem of the unconscious has grown substantially in our country. An extensive literature devoted to this subject has appeared in which discussion centers principally on the significance of the psychological unconscious (...) in various spheres of human activity. However, little attention is given in those works to making clear the specifics, the patterns, and the forms in which the unconscious is manifested. Virtually nothing is said about the techniques by which we penetrate the realm of the psychological unconscious, how we achieve knowledge of it, and what the psychological relationship is between the consciousness and the unconscious. (shrink)

On the fundamentals of Vedanta philosophy and Hindu spiritual life.

No part ot Plato's writings has been more debated than the three similes in Books VI.-VII. of the Republic, and still there is a diversity of opinion about their meaning. I believe that most of these difficulties arise from certain assumptions about their purpose which need revision. The current view applies the Cave to the Line, as Plato seems to direct, and this application, which is itself attended by considerable difficulties, leads to an assimilation of the two figures till they (...) seem to have much the same content and purpose. Again, as this makes the lower line appear to be the phenomenal world, it is thought that the simile of the sun foreshadows the theme of the Line by hinting at a connexion between the intelligible and the sensible which is made more explicit in the Line. Thus the group of similes seem mainly intended to show the dependence of Becoming upon Being. This paper will argue that such a view depends upon the misrepresentation of the symbolism adopted by Plato, that two antithetical groups of symbols are confused with one another, and that symbols are even identified with antitypes. Owing to these misinterpretations the Form of the Good has been mistaken for a material cause; both the Line and the Cave have been thought to reveal Plato as embarrassed by a dualism between sense and intellect, and the purpose of the Cave in particular, since the error is cumulative, has been completely obscured. This paper will attempt to substitute for current accounts another interpretation which will relate the three similes closely with the political arguments of Book VI., and with the Platonic education which is set forth in close connexion with them. (shrink)

This paper is a survey of V.A. Smirnovs main results in modern logic.

HSÜN Tzu's essay on "Rectifying Terms" is justly considered a work of "great logical interest." For in this essay, one finds a remarkably modern concern with such topics as the rationale for having terms; the empirical and pragmatic bases for the classification of terms; the formation of generic and specific terms; the importance of observing established linguistic practices; the necessity of complying with proper standards for the institution, ratification, and regulation of the uses of language ; the nature of argumentative (...) discourse ; and the problems inherent in successful linguistic communication. A careful examination of some passages in other essays also suggests an awareness of the distinction between deductive, inductive, and analogical inferences, though Hsün Tzu provides us no explicit discussion of the nature of reasoning and its validating rules. (shrink)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)

Health workers and support staff at Malawi’s major referral hospital, the Queen Elizabeth Central Hospital, Blantyre, were on strike between 5th and 19th October 2001. The health workers’ grievances included: lack of risk allowances; poor professional allowances; low salaries; and low housing allowances. The strike resulted in almost total closure of the 1500-bed hospital; only the burns and orthopaedic wards continued to serve patients. Volunteer staff, comprising the Red Cross, and nursing and medical students provided services. Verbal and written threats (...) by the authorities had minimal effect on terminating the strike; rather, they encouraged the resolve to continue with the industrial action. We report aspects of the genesis, progress and resolution of the strike. Although not much seems to have been achieved, both the employer and the workers need to draw lessons from the experience. (shrink)